Learning Regular Omega Languages Dana Angluin1? and Dana Fisman2?? 1 2

Source URL: www.cis.upenn.edu

• Finite automata
• Formal languages
• Theoretical computer science
• -automaton
• Omega language
• Regular language
• Muller automaton
• Constructible universe
• Symbol
• DFA minimization
• Mathematics
• Omega-regular language

Programming Language Technology Putting Formal Languages to Work Andreas Abel Department of Computer Science and Engineering Chalmers and Gothenburg University

Source URL: www2.tcs.ifi.lmu.de

ExCAPE Annual Report of Activities April 2014 to MarchOverview

Source URL: excape.cis.upenn.edu

• Theoretical computer science
• Electronic engineering
• Digital electronics
• Music
• Electronic design automation
• Formal verification
• Logic in computer science
• High-level synthesis
• Robotics
• Domain-specific language
• Finite-state machine
• Model checking

Average Analysis of Glushkov Automata under a BST-Like Model Cyril Nicaud1 , Carine Pivoteau1 , and Benoît Razet2 1 2

Source URL: drops.dagstuhl.de

• Finite automata
• Formal languages
• Regular language
• Constructible universe
• Tree automaton
• Quantum finite automata

(Prefix) Reversal Distance for (Signed) Strings with Few Blocks or Small AlphabetsI Laurent Bulteaua,1 , Guillaume Fertinb,2 , Christian Komusiewiczc,2,3 a Laboratoire d’Informatique Gaspard Monge, CNRS UMR 8049, Univ

Source URL: users.minet.uni-jena.de

• Formal languages
• Computability theory
• Theory of computation
• Character encoding
• String
• Computable function
• Permutation
• Pattern language

The Lost TramSee how computers make mistakes “reading” texts! Try it!

Source URL: nacloweb.org

• Languages of Asia
• Culture
• Cognitive science
• Cognition
• Languages of Tajikistan
• Tajik language
• Linguistics
• Formal language

1-a (10-c): Digital Library Curriculum Development Module: Conceptual Frameworks, Models, Theories, and Definitions Date: May,

Source URL: curric.dlib.vt.edu

• Technical communication
• Knowledge representation
• Ontology
• Semantic Web
• Information science
• CIDOC Conceptual Reference Model
• Upper ontology
• Digital library
• Formal ontology
• Conceptual model
• Core ontology
• Web Ontology Language

PHOG: Probabilistic Model for Code Pavol Bielik Veselin Raychev Martin Vechev Department of Computer Science, ETH Z¨urich, Switzerland

Source URL: www.srl.inf.ethz.ch

• Formal languages
• Stochastic context-free grammar
• Context-sensitive grammar
• Context-free grammar
• Bayesian network
• Parsing
• Language model
• Parse tree
• Formal grammar

Prof. Dr. Ulrich Kohlenbach Curriculum Vitae Ulrich Wilhelm Kohlenbach CURRENT AFFILIATION:

Source URL: www.mathematik.tu-darmstadt.de

• Formal sciences
• Metalogic
• Proof theory
• Philosophers of mathematics
• Mathematical logic
• Proof mining
• Logic
• Foundations of mathematics
• Workshop on Logic
• Language
• Information and Computation
• Mathematics
• Type theory
• Model theory

Deep Learning and Structural Kernels for Semantic Inference: Question Answering Applications to Formal Text and Web Forums

Source URL: www.dialog-21.ru

• Computational linguistics
• Natural language processing
• Machine learning
• Artificial neural networks
• Deep learning
• Word2vec
• Question answering
• Textual entailment
• Outline of natural language processing
• Word embedding